package tr.edu.ege.kipler.satisfiability;

/**
 * The common ancestor of all exceptions that can be thrown by the reasoner.
 * 
 * @author İnanç Seylan
 * 
 */
public class ReasonerException extends Exception {

	/**
	 * 
	 */
	private static final long serialVersionUID = -2174281283388111879L;

}
